On a few Californian Medusæ

A few facts on integrality

The purpose of this note is to collect some theorems and proofs related to integrality in commutative algebra. The note is subdivided into three parts. Part 1 (Integrality over rings) consists of known facts (Theorems 1, 4, 5) and a generalized exercise from [1] (Corollary 3) with a few minor variations (Theorem 2 and Corollary 6). Part 2 (Integrality over ideal semifiltrations) merges integral...

A Few Constructions on Constructors

We present four constructions for standard equipment which can be generated for every inductive datatype: case analysis, structural recursion, no confusion, acyclicity. Our constructions follow a two-level approach—they require less work than the standard techniques which inspired them [11, 8]. Moreover, given a suitably heterogeneous notion of equality, they extend without difficulty to induct...

The Effect of Endurance Training on a Few Kinematics Parameters Ingait of Non-Active Elderly People

Objectives: Investigating the effect of endurance training program onthe gait pattern of non-active elderly people. Methods & Materials: This study has been done by a semi-experience method with 23 old men and women by the average and standard deviation of 70.50±6.9 years old (n=14 people of exercise group, n=9 people of control group). The exercise group took part in this program for eight ...

On actor-network theory: A few clarifications

A Few Assertions on Information Hiding

data types have little impact on software error masking as far as we can determine Inheritance is not necessarily detrimental to error masking however when combined with information hiding it may become lethal Unit testing costs increase as the depth of inheritance increases This is directly related to the increase in the number of drivers and stubs As a counter argument subclasses tend to beco...